Linux Cubed Series 3: Developer Tools/Linux Cubed Series 3 - Developer Tools.iso/devel/lang/lisp/stk-3.002/stk-3/STk-3.1/Doc/STklos+Tk/Chap2.tex/labels.pl

Text File | 1995-05-20 | 2.4 KB | 98 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/Menus/;
$external_labels{$key} = "$URL/" . q|node9_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Menus:code/;
$external_labels{$key} = "$URL/" . q|node9_ct.html|;
$noresave{$key} = "$nosave";

$key = q/active-background/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/active-foreground/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/anchor/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/aspect/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/bitmap/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/command/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/disabled-foreground/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/fig-simple-interface/;
$external_labels{$key} = "$URL/" . q|node4_ct.html|;
$noresave{$key} = "$nosave";

$key = q/font/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/foreground/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/geometry/;
$external_labels{$key} = "$URL/" . q|node11_ct.html|;
$noresave{$key} = "$nosave";

$key = q/height/;
$external_labels{$key} = "$URL/" . q|node11_ct.html|;
$noresave{$key} = "$nosave";

$key = q/justify/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/pad-x/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/pad-y/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/simple:the_code/;
$external_labels{$key} = "$URL/" . q|node4_ct.html|;
$noresave{$key} = "$nosave";

$key = q/text/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/text-variable/;
$external_labels{$key} = "$URL/" . q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/width/;
$external_labels{$key} = "$URL/" . q|node13_ct.html|;
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;